منابع مشابه
Mutation Based Testing of P Systems
Although testing is an essential part of software development, until recently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves modifying the program in small ways. Mutation analysis has been largely used in white-box testing, but only a few tentative attempts to use this idea in black-box testing have be...
متن کاملModel-Based Mutation Testing of Hybrid Systems
This paper presents a novel model-based testing approach developed in the MOGENTES project. The aim is to test embedded systems controlling a continuous environment, i.e., hybrid systems. We present our two key abstractions against which we systematically test for conformance. (1) Classical action systems are used to model the discrete controller behavior. (2) Qualitative differential equations...
متن کاملMutation Testing in Database Systems
Mutation testing can be used to enhance the reliability of a system by keeping a check on completeness and effectiveness of test cases. This paper discusses need of dependable systems followed by discussions of database systems as dependable. After that use of mutation operators in procedural, Object Oriented and declarative systems is discussed. At the end some mutations for SQL Queries are su...
متن کاملEvent-Based Mutation Testing vs. State-Based Mutation Testing - Comparison Using a Web-based System
The idea of using models in mutation analysis dates back to mid 1980s. Recently, it is shown that, with some proper adaptations, mutation testing can also be utilized as a black-box testing approach. For this purpose, a modeling structure, a set of mutation operators, coverage criteria and test case generation methods are required. This paper compares event-based and state-based realizations of...
متن کاملFormal Verification and Testing Based on P Systems
In this paper it is surveyed the set of formal verification methods and testing approaches used so far for applications based on P
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computers Communications & Control
سال: 2009
ISSN: 1841-9836,1841-9836
DOI: 10.15837/ijccc.2009.3.2433